Sfoglia per Serie CEUR WORKSHOP PROCEEDINGS
Taking stock of available technologies for compliance checking on first-order knowledge
2022-01-01 Robaldo, L.; Batsakis, S.; Calegari, R.; Calimeri, F.; Fujita, M.; Governatori, G.; Morelli, M. C.; Pisano, G.; Satoh, K.; Tachmazidis, I.
TAll: A New Shiny App of Text Analysis for All
2023-01-01 Aria, Massimo; Cuccurullo, Corrado; D’Aniello, Luca; Misuraca, Michelangelo; Spano, Maria
A Tool for Encoding Controlled Natural Language Specifications as ASP Rules
2022-01-01 Dodaro, C.; Maratea, M.; Riccio, F.
Towards a Conditional and Multi-preferential Approach to Explainability of Neural Network Models in Computational Logic (Extended Abstract)
2022-01-01 Alviano, M.; Bartoli, F.; Botta, M.; Esposito, R.; Giordano, L.; Gliozzi, V.; Dupre, D. T.
Towards a rule-based support system for the coding of health conditions in the Patient Summary
2015-01-01 Cardillo, Elena; Eccher, Claudio; Guarasci, Roberto Franco; della mea, Vincenzo; Frattura, Lucilla; Pasceri, Erika; teresa chiaravalloti, Maria
Towards a Thesaurus for Energy Efficiency in Building Construction: the Italian context
2009-01-01 Cardillo, E.; Folino, A.; Iozzi, F.; Oliveri, E.; Taverniti, M.
A trust model to form teams of agentified AGVs in workshop areas
2021-01-01 Fortino, G.; Fotia, L.; Messina, F.; Rosaci, D.; Sarne, G. M. L.; Savaglio, C.
Trusted Volunteer Computing
2017-01-01 Ianni, M.; Masciari, E.
Typicality, Conditionals and a Probabilistic Semantics for Gradual Argumentation
2023-01-01 Alviano, M.; Giordano, L.; Dupre, D. T.
Understanding automatic COVID-19 classification using chest X-ray images
2020-01-01 Bruno, P.; Marte, C.; Calimeri, F.
Using calculist to MapReduce Json documents
2019-01-01 Sacca, D.; Furfaro, A.
VisPrAF: A system for visually specifying and reasoning over probabilistic abstract argumentation frameworks
2019-01-01 Fazzinga, B.; Flesca, S.; Furfaro, F.
Weighted Conditionals from Gradual Argumentation to Probabilistic Argumentation (Extended Abstract)
2022-01-01 Alviano, M.; Giordano, L.; Dupre, D. T.
Well founded semantics for P2P deductive databases
2019-01-01 Caroprese, L.; Zumpano, E.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Taking stock of available technologies for compliance checking on first-order knowledge | 1-gen-2022 | Robaldo, L.; Batsakis, S.; Calegari, R.; Calimeri, F.; Fujita, M.; Governatori, G.; Morelli, M. C.; Pisano, G.; Satoh, K.; Tachmazidis, I. | |
TAll: A New Shiny App of Text Analysis for All | 1-gen-2023 | Aria, Massimo; Cuccurullo, Corrado; D’Aniello, Luca; Misuraca, Michelangelo; Spano, Maria | |
A Tool for Encoding Controlled Natural Language Specifications as ASP Rules | 1-gen-2022 | Dodaro, C.; Maratea, M.; Riccio, F. | |
Towards a Conditional and Multi-preferential Approach to Explainability of Neural Network Models in Computational Logic (Extended Abstract) | 1-gen-2022 | Alviano, M.; Bartoli, F.; Botta, M.; Esposito, R.; Giordano, L.; Gliozzi, V.; Dupre, D. T. | |
Towards a rule-based support system for the coding of health conditions in the Patient Summary | 1-gen-2015 | Cardillo, Elena; Eccher, Claudio; Guarasci, Roberto Franco; della mea, Vincenzo; Frattura, Lucilla; Pasceri, Erika; teresa chiaravalloti, Maria | |
Towards a Thesaurus for Energy Efficiency in Building Construction: the Italian context | 1-gen-2009 | Cardillo, E.; Folino, A.; Iozzi, F.; Oliveri, E.; Taverniti, M. | |
A trust model to form teams of agentified AGVs in workshop areas | 1-gen-2021 | Fortino, G.; Fotia, L.; Messina, F.; Rosaci, D.; Sarne, G. M. L.; Savaglio, C. | |
Trusted Volunteer Computing | 1-gen-2017 | Ianni, M.; Masciari, E. | |
Typicality, Conditionals and a Probabilistic Semantics for Gradual Argumentation | 1-gen-2023 | Alviano, M.; Giordano, L.; Dupre, D. T. | |
Understanding automatic COVID-19 classification using chest X-ray images | 1-gen-2020 | Bruno, P.; Marte, C.; Calimeri, F. | |
Using calculist to MapReduce Json documents | 1-gen-2019 | Sacca, D.; Furfaro, A. | |
VisPrAF: A system for visually specifying and reasoning over probabilistic abstract argumentation frameworks | 1-gen-2019 | Fazzinga, B.; Flesca, S.; Furfaro, F. | |
Weighted Conditionals from Gradual Argumentation to Probabilistic Argumentation (Extended Abstract) | 1-gen-2022 | Alviano, M.; Giordano, L.; Dupre, D. T. | |
Well founded semantics for P2P deductive databases | 1-gen-2019 | Caroprese, L.; Zumpano, E. |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile